A Multiprocessor Kernel for Active Object-Based Systems
نویسنده
چکیده
منابع مشابه
Chapter 3 Chaos Arc : Real-time Objects and Atomicity for Multiprocessors 3.1 Reliability in Real-time Systems This Chapter Is Based on \chaos Arc : Kernel Support for Multi-weight Objects, Invocations, and Atomicity in Real-time Multiprocessor Applications,"
CHAOS arc is an object-based multiprocessor operating system kernel that provides primitives with which programmers may easily construct objects of diiering types and object invocations of diiering semantics, targeting multiprocessor systems and real-time applications. The CHAOS arc kernel can guarantee desired performance and functionality levels of selected computations in real-time applicati...
متن کاملUsing a Novel Concept of Potential Pixel Energy for Object Tracking
Abstract In this paper, we propose a new method for kernel based object tracking which tracks the complete non rigid object. Definition the union image blob and mapping it to a new representation which we named as potential pixels matrix are the main part of tracking algorithm. The union image blob is constructed by expanding the previous object region based on the histogram feature. The pote...
متن کاملThe Clustered Multikernel: An Approach to Formal Verification of Multiprocessor OS Kernels
Operating-system kernels are critical software components in computer systems. Building secure, safe and reliable computer systems is facilitated by having strong kernel correctness guarantees. Such guarantees can be obtained by formally verifying a kernel down to the implementation level. Kernel verification has attracted much research interest. For example, the L4.verified project has proved ...
متن کاملObject Recognition based on Local Steering Kernel and SVM
The proposed method is to recognize objects based on application of Local Steering Kernels (LSK) as Descriptors to the image patches. In order to represent the local properties of the images, patch is to be extracted where the variations occur in an image. To find the interest point, Wavelet based Salient Point detector is used. Local Steering Kernel is then applied to the resultant pixels, in ...
متن کاملKTK: kernel support for configurable objects and invocations
The Kernel Tool Kit (KTK) is an object-based operating system kernel and parallel programming library that ooers explicit support for on-and oo-line program conngu-ration. Speciically, KTK allows the speciication of attributes for object classes, object instances, state variables, operations and object invocations. Attributes are interpreted by policy classes that may be varied separately from ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000